Cometary Nuclei—From Giotto to Rosetta

Cometary science after Rosetta.

The European Space Agency's Rosetta mission ended operations on 30 September 2016 having spent over 2 years in close proximity to its target comet, 67P/Churyumov-Gerasimenko. Shortly before this, in summer 2016, a discussion meeting was held to examine how the results of the mission could be framed in terms of cometary and solar system science in general. This paper provides a brief history of ...

Giotto Domain Authors : Haiyang

The Giotto model is a semantic model that describes the communication between periodic time triggered components. It was developed by Thomas Henzinger and his group. It was designed for deterministic and safety critical applications. The main points about the Giotto model are: 1. A Giotto model is composed of one or more modes and each mode is composed of several tasks. 2. For every task, the d...

Cometary Diversity and Cometary Families 1.1 Introduction

Comets are classified from their orbital characteristics into two separate classes: nearly-isotropic, mainly long-period comets and ecliptic, short-period comets. Members from the former class are coming from the Oort cloud. Those of the latter class were first believed to have migrated from the Kuiper belt where they could have been accreted in situ, but recent orbital evolution simulations sh...

Simulink Integration of Giotto/TDL

The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical execution time (LET) as introduced by Giotto [2], TDL enhances Giotto towards a component architecture for real-time control applications [9]. The challenge is to provide appropriate visual and interactive modeling capabilities s...

From Control Models to Real-Time Code Using Giotto